An Overview of the Tatami Project

نویسندگان

  • Joseph Goguen
  • Kai Lin
  • Akira Mori
  • Bogdan Warinschi
چکیده

This paper describes the Tatami project at UCSD, which is developing a system to support distributed cooperative software development over the web, and in particular, the validation of concurrent distributed software. The main components of our current prototype are a proof assistant, a generator for documentation websites, a database, an equational proof engine, and a communication protocol to support distributed cooperative work. We believe behavioral speci cation and veri cation are important for software development, and for this purpose we use rst order hidden logic with equational atoms. The paper also brie y describes some novel user interface design methods that have been developed and applied in the project.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Improvement of project management office performance: An empirical investigation of effective factors in iranian construction industry

Project management office (PMO) is a new emerging concept in Iranian construction industry. Executives expect this organizational unit to add value to the business, and meet the demands of stakeholders by performing specialized tasks ranging from providing project management support to portfolio management. In this regard, PMO managers have long faced the question of how to improve the performa...

متن کامل

Web-based Multimedia Support for Distributed Cooperative Software Engineering1

The Tatami project is building a system to support software engineering over the internet, exploiting recent advances in web technology, interface design, and specification. Our effort to improve the usability of such systems led us into algebraic semiotics, while our effort to develop better formal methods for distributed concurrent systems led us into hidden algebra. We discuss the Tatami sys...

متن کامل

Counting Fixed-Height Tatami Tilings

A tatami tiling is an arrangement of 1 × 2 dominoes (or mats) in a rectangle with m rows and n columns, subject to the constraint that no four corners meet at a point. For fixed m we present and use Dean Hickerson’s combinatorial decomposition of the set of tatami tilings — a decomposition that allows them to be viewed as certain classes of restricted compositions when n ≥ m. Using this decompo...

متن کامل

Auspicious Tatami Mat Arrangements

The main purpose of this paper is to introduce the idea of tatami tilings, and to present some of the many interesting and fun questions that arise when studying them. Roughly speaking, we are considering are tilings of rectilinear regions with 1×2 dimer tiles and 1×1 monomer tiles, with the constraint that no four corners of the tiles meet. Typical problems are to minimize the number of monome...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999